LPT - A Tool for Parametric Validation of TPN
نویسندگان
چکیده
Romain Richard LIRMM UMR 5506 161 rue Ada CC 477 34095 Montpellier Cedex 5 France [email protected] Karen Godary-Dejean LIRMM UMR 5506 Université Montpellier 2 161 rue Ada CC 477 34095 Montpellier Cedex 5 France http://www.lirmm.fr/∼godary/ [email protected] Gregory Angles DEMAR Team, INRIA Université Montpellier 2 161 rue Ada CC 477 34095 Montpellier Cedex 5 France [email protected]
منابع مشابه
Validating RT-LOTOS Specifications using the TINA tool
The increasing development of highly concurrent and distributed systems captures scalability problems in terms of formal validation of models. In particular, reachability analysis tools commonly face a state explosion problem. Examples include the RTL tool developed by LAAS-CNRS for the formal description technique RT-LOTOS. By contrast, the TINA tool also developed by LAAS-CNRS for reachabilit...
متن کاملمدلسازی مطلوبیت زیستگاه خرس قهوهای (Ursus arctos) در منطقه حفاظت شده شیمبار، استان خوزستان
Status determination of wildlife habitats is very important in conservation programs and management of wildlife. So, in this study Ursus arctos habitat suitability was modeled using maximum entropy algorithm (MaxEnt) in Shimbar protected area. In order to model the habitat suitability, after investigating and resolving the spatial autocorrelation of occurrence records, spatially independent loc...
متن کاملUse of Two Smoothing Parameters in Penalized Spline Estimator for Bi-variate Predictor Non-parametric Regression Model
Penalized spline criteria involve the function of goodness of fit and penalty, which in the penalty function contains smoothing parameters. It serves to control the smoothness of the curve that works simultaneously with point knots and spline degree. The regression function with two predictors in the non-parametric model will have two different non-parametric regression functions. Therefore, we...
متن کاملValidation of drop plate technique for bacterial enumeration by parametric and nonparametric tests
Drop plate technique has a priority and preference compared with the spread plate procedure, because of less time, quantity of media, effort requirement, little incubator space, and less labor intensive. The objective of this research was to compare the accuracy and fidelity of drop plate method vs. spread plate method by parametric and nonparametric statistical tests. For bacterial enumeration...
متن کاملValidation of power measurement techniques in dynamic lower body resistance exercises.
The objective of this study was to investigate the validity of power measurement techniques utilizing various kinematic and kinetic devices during the jump squat (JS), squat (S) and power clean (PC). Ten Division I male athletes were assessed for power output across various intensities: 0, 12, 27, 42, 56, 71, and 85% of one repetition maximum strength (1RM) in the JS and S and 30, 40, 50, 60, 7...
متن کامل